21. Temporal logic : mathematical foundations and computational aspects
المؤلف: Gabbay, Dov M.
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
22. Temporal logic of programs
المؤلف: / Fred Kroger
المکتبة: (طهران)
موضوع: Electronic digital computers -- Programming,Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
23. Temporal logic of programs
المؤلف: Kroger, Fred
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
24. Temporal logic of programs
المؤلف: Kroger, Fred
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
25. The Imperative future :principles of executable temporal logic
المؤلف: edited by Howard Barringer ... ]et al.[
المکتبة: (خراسان الجنوبیة)
موضوع: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
26. The logic of partial information
المؤلف: Nait Abdallah, Areski
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
27. The logic of partial information
المؤلف: Areski Nait Abdallah
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
28. The logic of programming
المؤلف: Hehner, Eric C. R.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
29. The logic of programming
المؤلف: Hehner, Eric C. R.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
30. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
31. The logical basis for computer programming
المؤلف: Manna, Zohar
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
32. The logical basis for computer programming
المؤلف: Manna, Zohar
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
33. Truth, deduction, and computation
المؤلف: / R.E. Davis
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
